From a3998bce9d444657a70c8910075ebbab15702bcf Mon Sep 17 00:00:00 2001 From: Benjamin Otte Date: Mon, 15 Feb 2016 06:48:48 +0100 Subject: [PATCH] win32 theme: Add a hack that selects the right font on Windows 8 Someone needs to figure out why the default font is wrong. --- gtk/theme/win32/gtk-win32-base.css | 3 +++ 1 file changed, 3 insertions(+) diff --git a/gtk/theme/win32/gtk-win32-base.css b/gtk/theme/win32/gtk-win32-base.css index ead3c57479..6e00067cfc 100644 --- a/gtk/theme/win32/gtk-win32-base.css +++ b/gtk/theme/win32/gtk-win32-base.css @@ -22,6 +22,9 @@ .background, viewport { + /* XXX: This should be the default, but isn't?! */ + font-family: "Segoe UI", Sans; + font-size: 9px; background-color: @bg_color; color: -gtk-win32-color(button, 18); border-color: shade (@bg_color, 0.6); -- 2.30.2